15 Strength of bounded arithmetic (BAPLaCT)